Type-checking move_square
...action passes type checking.
Type-checking move_two
...action passes type checking.
Type-checking move_l_right
...action passes type checking.
Type-checking move_l_left
...action passes type checking.
Type-checking move_l_up
...action passes type checking.
Type-checking move_l_down
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 8
1:
(move_square f2-0f f3-0f square1)
 
2:
(move_l_down f2-1f f3-1f f3-2f f4-1f f4-2f rightl0)
 
3:
(move_l_down f0-1f f1-1f f1-2f f2-2f f2-3f rightl1)
 
4:
(move_l_down f3-1f f4-1f f4-2f f5-1f f5-2f rightl0)
 
5:
(move_square f1-0f f2-0f square0)
 
6:
(move_l_down f1-1f f2-2f f2-3f f3-2f f3-3f rightl1)
 
7:
(move_square f2-0f f3-1f square0)
 
8:
(move_l_down f2-2f f3-2f f3-3f f4-2f f4-3f rightl1)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (clear f3-0f)
Deleting (at_square square1 f2-0f)
Adding (clear f2-0f)
Adding (at_square square1 f3-0f)
Updating (total-cost) (0) by 1 increase

Checking next happening (time 2)
Deleting (clear f4-1f)
Deleting (clear f4-2f)
Deleting (at_right_l rightl0 f2-1f f3-1f f3-2f)
Adding (clear f3-2f)
Adding (clear f2-1f)
Adding (at_right_l rightl0 f3-1f f4-1f f4-2f)
Updating (total-cost) (1) by 3 increase

Checking next happening (time 3)
Plan failed because of unsatisfied precondition in:
(move_l_down f0-1f f1-1f f1-2f f2-2f f2-3f rightl1)

Plan failed to execute

Plan Repair Advice:

(move_l_down f0-1f f1-1f f1-2f f2-2f f2-3f rightl1) has an unsatisfied precondition at time 3
(Follow each of:
    (Set (connected f1-1f f2-2f) to true)
    and (Set (connected f1-2f f2-3f) to true)
)


Failed plans:
 <PATH_REMOVED> 

